bool{-}to{-}dcdr\{i:l\}($A$; $f$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$TERMOF\{bool{-}to{-}dcdr{-}aux:ObjectId, 1:l, i:l\}($A$,$f$)